-- Constants are properly type checked.
-- ==
-- error: i32

def x : i32 = 2.0

def main () : i32 = 2
